Mastering Agent Communication in Embassi on the Basis of a Formal Ontology
نویسندگان
چکیده
The development of agents, which are working together to accomplish complex tasks, needs efficient appliances – in particular if a great number of developers are involved in designing and implementing the functionalities of the agents and the communication between them. In this article it is shown how a formal ontology and an efficient monitoring of the communication can help to increase development efficiency and to decrease the needs of searching error causes. The ontology also provides ideal means for describing in a uniform and precise way the complete functionality that all of the various components of the system offer to the user.
منابع مشابه
Dialogue Management in the EMBASSI Realm Using Description Logics to Reason about Ontology Concepts
The integration of utterances in their contexts, by the help of reasoning about the concepts of the domain – organized in a formal ontology and laid down in Description Logics –, enables successful dialogue management for spoken language. We outline our dialogue model and our approach of establishing a formal ontology within the
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملتوسعه هستانشناسی فرایندمحور برای فناوریهای مدیریت دانش
This paper is an attempt to develop a new ontology for knowledge management (KM) technologies, determining the relationships between these technologies and classification of them. The study applies NOY methodology. Protégé software and OWL language are used for building the ontology. The presented ontology is evaluated with abbreviation and consistency criteria and knowledge retrieval of KM tec...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کامل